COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002		Many thanks for your papers %2The Naive Physics Manifesto%1 and
C00004 ENDMK
C⊗;
	Many thanks for your papers %2The Naive Physics Manifesto%1 and
%2The Logic of Frames%1.  Naturally, I agree with the general trend
of these papers, since I have been pursuing such ideas since my
1959 %2Programs with Common Sense%1.  It is, however, a measure of
the difficulty of the approach that in many areas neither you nor
I nor anyone else has advanced much beyond the informal considerations
advanced in that paper.  I think the %2Manifesto%1 would have been
improved by some discussion of the relation between its ideas in
that older work.  Otherwise, skeptical people will say that you
have merely reinvented an old square wheel.

	I assume I sent you my %2Circumscription%1 paper.  It contains
an approach to formalizing conjectural
reasoning that violates the Curry condition
that you cite.